معرفی منطق خطی

پایان نامه
  • وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان - دانشکده ریاضی و کامپیوتر
  • نویسنده پریسا طلوعی
  • استاد راهنما اسفندیار اسلامی
  • سال انتشار 1393
چکیده

در این پایان نامه سعی شده است، ابتدا به معرفی منطق های کلاسیک، شهود گرایی و زیر ساخت بپردازیم و بعد ارتباط منطق خطی را با هر یک از این منطق ها بیان می کنیم. همچنین منطق خطی را با تفسیر کامل هر یک ازحروف ربط و اصول موضوعه آن بیان کرده ایم و در انتها معنا شناسی های این منطق را بررسی می کنیم و به توصیف هر یک از حروف ربط این منطق در هر یک از این معناشناسی ها می پردازیم. سپس ارتباط معناشناسی ها را با منطق های کلاسیک و شهودگرایی بیان می کنیم، که به طور خلاصه محتوای آن به شرح زیر است: این پایان نامه از سه فصل تشکیل شده و در این فصل ها سعی شده است تمامی مطالب مورد نیاز بیان شود فصل اول شامل سه بخش است که در بخش های اول و دوم و سوم به ترتیب، منطق های کلاسیک و شهودگرایی و زیرساخت را معرفی می کنیم و نکاتی در مورد آنها را توضیح می دهیم. در بخش اول فصل دوم به تعریف منطق خطی می پردازیم. در بخش دوم الفبای آن را بیان می کنیم و هر یک ازحروف ربط آن را با ذکر مثال توضیح می دهیم. بخش سوم شامل یکی از کاربردهای این منطق است و در بخش چهارم اصول موضوعه منطق خطی را بیان می کنیم. فصل سوم شامل سه بخش است. در بخش اول به بیان معناشناسی حالت می پردازیم و تفسیر هر یک از حروف ربط را در آن نشان می دهیم. در بخش دوم معناشناسی تشخیصی را بیان می کنیم و حروف ربط را در آن تفسیرمی کنیم و چگونگی تبدیل منطق های کلاسیک و شهودگرایی به منطق خطی را بیان می کنیم. در بخش سوم نیز مثالی برای این معناشناسی ها می آوریم.

منابع مشابه

معرفی منطق های آزاد

منطق آزاد به منطق غیر کلاسیکی اطلاق می شود که از برخی فرض های وجودی منطق کلاسیک صرف نظر می کند. منطق ‏آزاد به سه دسته ی مثبت‏، منفی و خنثی تقسیم می شود. در فصل اول این پایان نامه‏، منطق کلاسیک مرتبه اول و ویژگی های آن را بررسی می کنیم. در فصل دوم منطق آزاد ‏را معرفی نموده و کاربردی از آن ار‏ائه می دهیم. در فصل آخر برخی لم ها و قضایای مهم درمنطق مانند لم موضعی ‏، لم نمایش و قضایای صحت و تامیت را...

معرفی و نقد نسخه خطی دستورالعلاج

دستورالعلاج، اثر طبی سلطان علی خراسانی جنابدی ، از پزشکان دربار ازبکان است که پس از چهل سال طبابت و سفر در رکاب کوچکونجی خان، به درخواست سلطان محمود ازبک، تألیف شده است. از این کتاب که متنی شبه ادبی محسوب می‌شود  بیش از سی نسخه، در کتاب‌خانه‌های ایران و جهان موجود است. سلطانعلی در زمان حکومت ابوسعید بهادرخان به دستور وی تکمله‌ای شانزده بابی بر کتاب افزود، که  این تکمله در حکم مقدمه دستورالعلاج ...

متن کامل

نقد، بررسی و معرفی منظومه خطی «طوبی»

     تصحیح و ویرایش نسخه‌های خطی، یکی از بنیادی­ترین و فنّی­ترین پژوهش­های ادبی است. نسخه خطی طوبی از نویسنده ای نامعلوم به کتابت کاتبی رضوان علی نام است؛ این نسخه به سبب داشتن ویژگی­های داستانی آن هم با ساختاری منظوم با محتوا و محوریت اشعاری زاهدانه، درخور بازشناسی است. نسخه مذکور از منظری یادآور کلیله و دمنه است و از سویی دیگر یادآور مثنوی مولانا؛ شاعر کوشیده است با اقتباس از آثار داستانی گذشت...

متن کامل

معرفی نسخه خطی «شرح تحفه الاحرار» ملتانی

«هدیه‌‌الاخیار» یا «شرح تحفه‌‌الاحرار» اثر «محمد رضا ملتانی» فرزند « محمد اکرم ملتانی»، از فارسی‌ نویسان شبه قاره در قرن یازدهم، اگرچه از آثار دست دوم ادب فارسی محسوب می‌شود، قطعا به دلیل دانش و اطلاعات سرشار و دقت فراوان شارح در فحص و بحث و بیان ظرایف لغت، دستور، معانی و بیان راهگشای محققان و دانشجویان در شرح دشواری های «تحفه‌‌الاحرار جامی» خواهد بود. ملتانی از خادمین شیعه‌ مذهب شهنشاه اورنگ‌ز...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان - دانشکده ریاضی و کامپیوتر

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023